package Store;

import DataView.Action;
import DataView.Expr;

public class Transition {
	private Expr cond;
	private Action react;
	public State source;
	public State target;
	public UMLEvent trigger;
	
	public Transition(State source, UMLEvent umlEvent, Expr cond, Action react, State target){
		this.cond=cond;
		this.react=react;
		this.source=source;
		this.target=target;
		trigger=umlEvent;
	}
	public void setCond(Expr cond) {
		this.cond = cond;
	}
	public Expr getCond() {
		return cond;
	}
	public void setReact(Action react) {
		this.react = react;
	}
	public Action getReact() {
		return react;
	}
	public void setSource(State s)
	{
		source = s;
	}
	public void setTarget(State t)
	{
		target = t;
	}
	public State getSource()
	{
		return source;
	}
	public State getTarget()
	{
		return target;
	}
	public String getTrigger()
	{
		return trigger.getTrigger();
	}
}
